Basic concepts

• Variables and regions
• True and false
• External representations
• Disjointness of types
• Storage model